Transforming classic Discrete Event System Specification models to Specification and Description Language
نویسندگان
چکیده
منابع مشابه
Using Specification and Description Language to define and implement discrete simulation models
The formal languages become important tools since they allow the complete understanding of the model and help in its implementation. However only a few simulation tools allow an automatic execution of a simulation model based in a formalization of the system. Specification and Description Language is a modern object oriented graphical formal language that allows the definition of distributed sy...
متن کاملUsing specification and description language to define and implement discrete simulation models
Formal languages become important tools since allows the complete understanding of the model and helps in its implementation. However only few simulation tools allow an automatic execution of a simulation model based in a formalization of the system. Specification and Description Language is a modern object oriented graphical formal language that allows the definition of distributed systems. It...
متن کاملSpecification of Discrete Event Models for Fire Spreading
The fire spreading phenomenon is highly complex, and existing mathematical models of fire are so complex themselves, that any possibility of analytical solution is precluded. Instead, there has been some success when studying fire spread by means of simulation. However, precise and reliable mathematical models are still under development. They require extensive computing resources, being adequa...
متن کاملA discrete event system specification (DEVS)-based model of consanguinity
Consanguinity or inter-cousin marriage is a phenomenon quite prevalent in certain regions around the globe. Consanguineous parents have a higher risk of having offspring with congenital disorders. It is difficult to model large scale consanguineous parental populations because of disparate cultural issues unique to regions and cultures across the globe. Although consanguinity has previously bee...
متن کاملSimulation of mobile networks using discrete event system specification theory
The fourth generation (4G) of mobile telecommunication technology provides ultra-band internet access for mobile devices such as smartphones, tablets, and laptops. One of the challenges in the Long Term Evolution (LTE) 4G networks is the low data rate for cell-edge users as well as coverage gaps. In this paper, we define and evaluate models for analysis of performance of mobile networks archite...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SIMULATION
سال: 2015
ISSN: 0037-5497,1741-3133
DOI: 10.1177/0037549715571623